/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_NORMAL_FORWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_NORMAL_FORWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_normal_forwards_rival_checkpoints[] = {
    checkpoint(156, 436, 0),
    checkpoint(156, 434, 0.00415),
    checkpoint(156, 432, 0.00805),
    checkpoint(156, 429, 0.01318),
    checkpoint(156, 427, 0.01928),
    checkpoint(156, 424, 0.02636),
    checkpoint(156, 422, 0.03442),
    checkpoint(156, 420, 0.04199),
    checkpoint(156, 417, 0.04907),
    checkpoint(156, 415, 0.05566),
    checkpoint(156, 412, 0.06176),
    checkpoint(156, 410, 0.06738),
    checkpoint(156, 407, 0.07250),
    checkpoint(156, 405, 0.07714),
    checkpoint(156, 402, 0.08154),
    checkpoint(156, 400, 0.08569),
    checkpoint(156, 397, 0.08959),
    checkpoint(156, 395, 0.09326),
    checkpoint(156, 392, 0.09667),
    checkpoint(156, 390, 0.09985),
    checkpoint(156, 388, 0.10278),
    checkpoint(156, 385, 0.10546),
    checkpoint(157, 383, 0.10791),
    checkpoint(157, 380, 0.11010),
    checkpoint(157, 378, 0.11206),
    checkpoint(157, 375, 0.11376),
    checkpoint(157, 373, 0.11523),
    checkpoint(157, 370, 0.11791),
    checkpoint(157, 368, 0.12182),
    checkpoint(158, 365, 0.12695),
    checkpoint(158, 363, 0.13305),
    checkpoint(158, 360, 0.14013),
    checkpoint(158, 358, 0.14819),
    checkpoint(158, 356, 0.15722),
    checkpoint(159, 353, 0.16723),
    checkpoint(159, 351, 0.17797),
    checkpoint(159, 348, 0.18945),
    checkpoint(159, 346, 0.20166),
    checkpoint(160, 343, 0.21459),
    checkpoint(160, 341, 0.22827),
    checkpoint(160, 338, 0.24267),
    checkpoint(160, 336, 0.25781),
    checkpoint(161, 333, 0.27343),
    checkpoint(161, 331, 0.28955),
    checkpoint(161, 329, 0.30615),
    checkpoint(162, 326, 0.32324),
    checkpoint(162, 324, 0.34082),
    checkpoint(163, 321, 0.35888),
    checkpoint(163, 319, 0.37744),
    checkpoint(164, 317, 0.39648),
    checkpoint(164, 314, 0.41601),
    checkpoint(165, 312, 0.43579),
    checkpoint(165, 309, 0.45581),
    checkpoint(166, 307, 0.47607),
    checkpoint(166, 305, 0.49511),
    checkpoint(167, 302, 0.51318),
    checkpoint(168, 300, 0.53027),
    checkpoint(168, 298, 0.54638),
    checkpoint(169, 295, 0.56298),
    checkpoint(170, 293, 0.58007),
    checkpoint(171, 291, 0.59765),
    checkpoint(172, 289, 0.61572),
    checkpoint(172, 286, 0.63427),
    checkpoint(173, 284, 0.65332),
    checkpoint(174, 282, 0.67285),
    checkpoint(175, 280, 0.69262),
    checkpoint(176, 277, 0.71264),
    checkpoint(177, 275, 0.73291),
    checkpoint(178, 273, 0.75341),
    checkpoint(179, 271, 0.77416),
    checkpoint(180, 269, 0.79516),
    checkpoint(182, 267, 0.81494),
    checkpoint(183, 265, 0.83349),
    checkpoint(184, 263, 0.85107),
    checkpoint(185, 261, 0.86767),
    checkpoint(187, 259, 0.88330),
    checkpoint(188, 257, 0.89794),
    checkpoint(189, 255, 0.91308),
    checkpoint(191, 253, 0.92871),
    checkpoint(192, 251, 0.94335),
    checkpoint(193, 249, 0.95703),
    checkpoint(195, 247, 0.96997),
    checkpoint(196, 245, 0.98217),
    checkpoint(198, 243, 0.99365),
    checkpoint(199, 242, 1.00439),
    checkpoint(201, 240, 1.01440),
    checkpoint(203, 238, 1.02368),
    checkpoint(204, 236, 1.03247),
    checkpoint(206, 235, 1.04077),
    checkpoint(208, 233, 1.04858),
    checkpoint(209, 232, 1.05590),
    checkpoint(211, 230, 1.06274),
    checkpoint(213, 228, 1.06909),
    checkpoint(215, 227, 1.07495),
    checkpoint(216, 225, 1.08032),
    checkpoint(218, 224, 1.08520),
    checkpoint(220, 222, 1.08959),
    checkpoint(222, 221, 1.09375),
    checkpoint(224, 219, 1.09912),
    checkpoint(226, 218, 1.10546),
    checkpoint(228, 216, 1.11279),
    checkpoint(229, 215, 1.12109),
    checkpoint(231, 213, 1.13037),
    checkpoint(233, 212, 1.14062),
    checkpoint(235, 211, 1.15161),
    checkpoint(237, 209, 1.16333),
    checkpoint(239, 208, 1.17578),
    checkpoint(241, 207, 1.18896),
    checkpoint(243, 205, 1.20288),
    checkpoint(245, 204, 1.21752),
    checkpoint(247, 203, 1.23120),
    checkpoint(250, 202, 1.24414),
    checkpoint(252, 200, 1.25634),
    checkpoint(254, 199, 1.26782),
    checkpoint(256, 198, 1.27856),
    checkpoint(258, 197, 1.28857),
    checkpoint(260, 196, 1.29785),
    checkpoint(262, 195, 1.30664),
    checkpoint(264, 194, 1.31494),
    checkpoint(267, 193, 1.32275),
    checkpoint(269, 192, 1.33007),
    checkpoint(271, 191, 1.33837),
    checkpoint(273, 190, 1.34765),
    checkpoint(275, 189, 1.35791),
    checkpoint(278, 188, 1.36889),
    checkpoint(280, 187, 1.38061),
    checkpoint(282, 186, 1.39306),
    checkpoint(284, 185, 1.40625),
    checkpoint(287, 184, 1.42016),
    checkpoint(289, 184, 1.43481),
    checkpoint(291, 183, 1.44848),
    checkpoint(293, 182, 1.46142),
    checkpoint(296, 181, 1.47363),
    checkpoint(298, 181, 1.48510),
    checkpoint(300, 180, 1.49584),
    checkpoint(303, 179, 1.50585),
    checkpoint(305, 179, 1.51513),
    checkpoint(307, 178, 1.52392),
    checkpoint(310, 178, 1.53222),
    checkpoint(312, 177, 1.54003),
    checkpoint(314, 177, 1.54736),
    checkpoint(317, 176, 1.55419),
    checkpoint(319, 176, 1.56054),
    checkpoint(321, 175, 1.56640),
    checkpoint(324, 175, 1.57177),
    checkpoint(326, 174, 1.57666),
    checkpoint(329, 174, 1.58105),
    checkpoint(331, 174, 1.58520),
    checkpoint(333, 173, 1.58911),
    checkpoint(336, 173, 1.59277),
    checkpoint(338, 173, 1.59619),
    checkpoint(341, 172, 1.59936),
    checkpoint(343, 172, 1.60229),
    checkpoint(345, 172, 1.60498),
    checkpoint(348, 172, 1.60888),
    checkpoint(350, 171, 1.61401),
    checkpoint(353, 171, 1.62011),
    checkpoint(355, 171, 1.62719),
    checkpoint(358, 171, 1.63525),
    checkpoint(360, 171, 1.64428),
    checkpoint(362, 170, 1.65429),
    checkpoint(365, 170, 1.66357),
    checkpoint(367, 170, 1.67236),
    checkpoint(370, 170, 1.68066),
    checkpoint(372, 170, 1.68847),
    checkpoint(375, 170, 1.69580),
    checkpoint(377, 170, 1.70263),
    checkpoint(380, 170, 1.70898),
    checkpoint(382, 170, 1.71484),
    checkpoint(384, 170, 1.72021),
    checkpoint(387, 170, 1.72509),
    checkpoint(389, 170, 1.72949),
    checkpoint(392, 170, 1.73364),
    checkpoint(394, 170, 1.73754),
    checkpoint(397, 171, 1.74121),
    checkpoint(399, 171, 1.74462),
    checkpoint(402, 171, 1.74780),
    checkpoint(404, 171, 1.75073),
    checkpoint(406, 171, 1.75341),
    checkpoint(409, 171, 1.75439),
    checkpoint(411, 172, 1.75366),
    checkpoint(414, 172, 1.75170),
    checkpoint(416, 172, 1.74853),
    checkpoint(419, 172, 1.74414),
    checkpoint(421, 173, 1.73852),
    checkpoint(424, 173, 1.73193),
    checkpoint(426, 173, 1.72436),
    checkpoint(428, 173, 1.71582),
    checkpoint(431, 174, 1.70629),
    checkpoint(433, 174, 1.69580),
    checkpoint(436, 174, 1.68457),
    checkpoint(438, 174, 1.67260),
    checkpoint(441, 175, 1.66137),
    checkpoint(443, 175, 1.65087),
    checkpoint(446, 175, 1.64111),
    checkpoint(448, 175, 1.63208),
    checkpoint(450, 176, 1.62353),
    checkpoint(453, 176, 1.61547),
    checkpoint(455, 176, 1.60791),
    checkpoint(458, 176, 1.60083),
    checkpoint(460, 177, 1.59423),
    checkpoint(463, 177, 1.58813),
    checkpoint(465, 177, 1.58251),
    checkpoint(468, 177, 1.57739),
    checkpoint(470, 177, 1.57275),
    checkpoint(473, 177, 1.56835),
    checkpoint(475, 178, 1.56420),
    checkpoint(477, 178, 1.56030),
    checkpoint(480, 178, 1.55664),
    checkpoint(482, 178, 1.55322),
    checkpoint(485, 178, 1.55004),
    checkpoint(487, 178, 1.54711),
    checkpoint(490, 178, 1.54443),
    checkpoint(492, 178, 1.54199),
    checkpoint(495, 179, 1.53979),
    checkpoint(497, 179, 1.53784),
    checkpoint(500, 179, 1.53613),
    checkpoint(502, 179, 1.53466),
    checkpoint(505, 179, 1.53344),
    checkpoint(507, 179, 1.53247),
    checkpoint(510, 179, 1.53173),
    checkpoint(512, 179, 1.53125),
    checkpoint(514, 179, 1.53100),
    checkpoint(517, 179, 1.53100),
    checkpoint(519, 179, 1.53100),
    checkpoint(522, 179, 1.53100),
    checkpoint(524, 179, 1.53100),
    checkpoint(527, 179, 1.53100),
    checkpoint(529, 179, 1.53100),
    checkpoint(532, 179, 1.53100),
    checkpoint(534, 179, 1.53100),
    checkpoint(537, 179, 1.53100),
    checkpoint(539, 179, 1.53100),
    checkpoint(542, 179, 1.53100),
    checkpoint(544, 179, 1.53100),
    checkpoint(547, 179, 1.53100),
    checkpoint(549, 179, 1.53100),
    checkpoint(552, 179, 1.53100),
    checkpoint(554, 179, 1.53100),
    checkpoint(557, 179, 1.53100),
    checkpoint(559, 179, 1.53100),
    checkpoint(562, 179, 1.53100),
    checkpoint(564, 179, 1.53100),
    checkpoint(567, 178, 1.53100),
    checkpoint(569, 178, 1.53100),
    checkpoint(572, 178, 1.53100),
    checkpoint(574, 178, 1.53100),
    checkpoint(577, 178, 1.53100),
    checkpoint(579, 178, 1.53100),
    checkpoint(581, 178, 1.53100),
    checkpoint(584, 178, 1.53100),
    checkpoint(586, 178, 1.53100),
    checkpoint(589, 178, 1.53100),
    checkpoint(591, 178, 1.53100),
    checkpoint(594, 178, 1.53100),
    checkpoint(596, 178, 1.53247),
    checkpoint(599, 178, 1.53515),
    checkpoint(601, 178, 1.53906),
    checkpoint(604, 177, 1.54418),
    checkpoint(606, 177, 1.55029),
    checkpoint(609, 177, 1.55737),
    checkpoint(611, 177, 1.56396),
    checkpoint(614, 177, 1.57006),
    checkpoint(616, 177, 1.57568),
    checkpoint(619, 177, 1.58081),
    checkpoint(621, 177, 1.58544),
    checkpoint(624, 177, 1.58984),
    checkpoint(626, 177, 1.59399),
    checkpoint(629, 177, 1.59790),
    checkpoint(631, 177, 1.60156),
    checkpoint(634, 177, 1.60498),
    checkpoint(636, 177, 1.60815),
    checkpoint(639, 177, 1.61108),
    checkpoint(641, 177, 1.61376),
    checkpoint(644, 177, 1.61621),
    checkpoint(646, 177, 1.61840),
    checkpoint(649, 177, 1.62036),
    checkpoint(651, 177, 1.62353),
    checkpoint(654, 177, 1.62792),
    checkpoint(656, 177, 1.63354),
    checkpoint(659, 177, 1.64013),
    checkpoint(661, 177, 1.64770),
    checkpoint(663, 177, 1.65625),
    checkpoint(666, 177, 1.66577),
    checkpoint(668, 177, 1.67626),
    checkpoint(671, 177, 1.68750),
    checkpoint(673, 177, 1.69946),
    checkpoint(676, 177, 1.71215),
    checkpoint(678, 178, 1.72558),
    checkpoint(681, 178, 1.73974),
    checkpoint(683, 178, 1.75463),
    checkpoint(686, 178, 1.77001),
    checkpoint(688, 178, 1.78588),
    checkpoint(691, 178, 1.80224),
    checkpoint(693, 179, 1.81909),
    checkpoint(696, 179, 1.83642),
    checkpoint(698, 179, 1.85424),
    checkpoint(700, 179, 1.87255),
    checkpoint(703, 180, 1.89135),
    checkpoint(705, 180, 1.91064),
    checkpoint(708, 180, 1.93041),
    checkpoint(710, 181, 1.94897),
    checkpoint(713, 181, 1.96655),
    checkpoint(715, 182, 1.98315),
    checkpoint(717, 182, 1.99877),
    checkpoint(720, 183, 2.01342),
    checkpoint(722, 183, 2.02709),
    checkpoint(724, 184, 2.04003),
    checkpoint(727, 184, 2.05224),
    checkpoint(729, 185, 2.06372),
    checkpoint(732, 186, 2.07446),
    checkpoint(734, 186, 2.08447),
    checkpoint(736, 187, 2.09375),
    checkpoint(738, 188, 2.10253),
    checkpoint(741, 189, 2.11083),
    checkpoint(743, 189, 2.12011),
    checkpoint(745, 190, 2.13037),
    checkpoint(748, 191, 2.14135),
    checkpoint(750, 192, 2.15307),
    checkpoint(752, 193, 2.16552),
    checkpoint(754, 194, 2.17871),
    checkpoint(757, 195, 2.19262),
    checkpoint(759, 196, 2.20727),
    checkpoint(761, 197, 2.22241),
    checkpoint(763, 198, 2.23803),
    checkpoint(765, 199, 2.25415),
    checkpoint(768, 200, 2.26928),
    checkpoint(770, 201, 2.28344),
    checkpoint(772, 202, 2.29687),
    checkpoint(774, 203, 2.30957),
    checkpoint(776, 204, 2.32153),
    checkpoint(778, 205, 2.33276),
    checkpoint(780, 207, 2.34326),
    checkpoint(782, 208, 2.35302),
    checkpoint(784, 209, 2.36206),
    checkpoint(786, 211, 2.37060),
    checkpoint(788, 212, 2.38012),
    checkpoint(790, 213, 2.39062),
    checkpoint(792, 215, 2.40185),
    checkpoint(794, 216, 2.41381),
    checkpoint(796, 217, 2.42651),
    checkpoint(798, 219, 2.43994),
    checkpoint(800, 220, 2.45410),
    checkpoint(802, 222, 2.46899),
    checkpoint(804, 223, 2.48437),
    checkpoint(806, 225, 2.50024),
    checkpoint(807, 226, 2.51660),
    checkpoint(809, 228, 2.53344),
    checkpoint(811, 230, 2.55078),
    checkpoint(813, 231, 2.56860),
    checkpoint(814, 233, 2.58691),
    checkpoint(816, 235, 2.60571),
    checkpoint(818, 236, 2.62500),
    checkpoint(820, 238, 2.64477),
    checkpoint(821, 240, 2.66479),
    checkpoint(823, 242, 2.68505),
    checkpoint(824, 243, 2.70556),
    checkpoint(826, 245, 2.72631),
    checkpoint(827, 247, 2.74731),
    checkpoint(829, 249, 2.76855),
    checkpoint(830, 251, 2.79003),
    checkpoint(832, 253, 2.81030),
    checkpoint(833, 255, 2.82934),
    checkpoint(835, 257, 2.84741),
    checkpoint(836, 258, 2.86450),
    checkpoint(837, 260, 2.88061),
    checkpoint(838, 262, 2.89575),
    checkpoint(840, 264, 2.90991),
    checkpoint(841, 267, 2.92333),
    checkpoint(842, 269, 2.93603),
    checkpoint(843, 271, 2.94799),
    checkpoint(844, 273, 2.95922),
    checkpoint(845, 275, 2.96972),
    checkpoint(846, 277, 2.97949),
    checkpoint(847, 279, 2.98852),
    checkpoint(848, 281, 2.99707),
    checkpoint(849, 284, 3.00512),
    checkpoint(850, 286, 3.01269),
    checkpoint(851, 288, 3.01977),
    checkpoint(852, 290, 3.02636),
    checkpoint(852, 292, 3.03393),
    checkpoint(853, 295, 3.04248),
    checkpoint(854, 297, 3.05200),
    checkpoint(855, 299, 3.06250),
    checkpoint(855, 301, 3.07373),
    checkpoint(856, 304, 3.08569),
    checkpoint(857, 306, 3.09838),
    checkpoint(857, 308, 3.11181),
    checkpoint(858, 311, 3.12597),
    checkpoint(858, 313, 3.14086),
    checkpoint(859, 315, 3.15625),
    checkpoint(859, 318, 3.17211),
    checkpoint(860, 320, 3.18847),
    checkpoint(860, 322, 3.20532),
    checkpoint(861, 325, 3.22265),
    checkpoint(861, 327, 3.24047),
    checkpoint(861, 329, 3.25878),
    checkpoint(862, 332, 3.27758),
    checkpoint(862, 334, 3.29687),
    checkpoint(862, 336, 3.31665),
    checkpoint(862, 339, 3.33666),
    checkpoint(862, 341, 3.35546),
    checkpoint(863, 343, 3.37329),
    checkpoint(863, 346, 3.39013),
    checkpoint(863, 348, 3.40600),
    checkpoint(863, 351, 3.42089),
    checkpoint(863, 353, 3.43481),
    checkpoint(863, 355, 3.44799),
    checkpoint(863, 358, 3.46044),
    checkpoint(862, 360, 3.47216),
    checkpoint(862, 362, 3.48315),
    checkpoint(862, 365, 3.49487),
    checkpoint(862, 367, 3.50732),
    checkpoint(862, 370, 3.52050),
    checkpoint(861, 372, 3.53442),
    checkpoint(861, 374, 3.54907),
    checkpoint(861, 377, 3.56420),
    checkpoint(860, 379, 3.57983),
    checkpoint(860, 381, 3.59594),
    checkpoint(859, 384, 3.61254),
    checkpoint(859, 386, 3.62963),
    checkpoint(858, 388, 3.64721),
    checkpoint(858, 390, 3.66528),
    checkpoint(857, 393, 3.68383),
    checkpoint(856, 395, 3.70288),
    checkpoint(856, 397, 3.72241),
    checkpoint(855, 400, 3.74218),
    checkpoint(854, 402, 3.76220),
    checkpoint(853, 404, 3.78247),
    checkpoint(853, 406, 3.80297),
    checkpoint(852, 408, 3.82373),
    checkpoint(851, 411, 3.84472),
    checkpoint(850, 413, 3.86450),
    checkpoint(849, 415, 3.88305),
    checkpoint(848, 417, 3.90063),
    checkpoint(847, 419, 3.91723),
    checkpoint(846, 421, 3.93286),
    checkpoint(845, 423, 3.94750),
    checkpoint(844, 425, 3.96118),
    checkpoint(842, 427, 3.97412),
    checkpoint(841, 429, 3.98632),
    checkpoint(840, 431, 3.99780),
    checkpoint(839, 433, 4.00854),
    checkpoint(837, 435, 4.01855),
    checkpoint(836, 437, 4.02783),
    checkpoint(835, 439, 4.03662),
    checkpoint(833, 441, 4.04492),
    checkpoint(832, 443, 4.05273),
    checkpoint(830, 445, 4.06005),
    checkpoint(829, 447, 4.06689),
    checkpoint(827, 449, 4.07324),
    checkpoint(826, 450, 4.08056),
    checkpoint(824, 452, 4.08886),
    checkpoint(823, 454, 4.09814),
    checkpoint(821, 456, 4.10839),
    checkpoint(820, 457, 4.11938),
    checkpoint(818, 459, 4.13110),
    checkpoint(816, 461, 4.14355),
    checkpoint(815, 462, 4.15673),
    checkpoint(813, 464, 4.17065),
    checkpoint(811, 466, 4.18530),
    checkpoint(809, 467, 4.20043),
    checkpoint(808, 469, 4.21606),
    checkpoint(806, 470, 4.23217),
    checkpoint(804, 472, 4.24877),
    checkpoint(802, 474, 4.26586),
    checkpoint(800, 475, 4.28198),
    checkpoint(798, 476, 4.29711),
    checkpoint(797, 478, 4.31127),
    checkpoint(795, 479, 4.32470),
    checkpoint(793, 481, 4.33740),
    checkpoint(791, 482, 4.34936),
    checkpoint(789, 483, 4.36059),
    checkpoint(787, 485, 4.37109),
    checkpoint(785, 486, 4.38232),
    checkpoint(783, 487, 4.39428),
    checkpoint(781, 489, 4.40698),
    checkpoint(779, 490, 4.42041),
    checkpoint(777, 491, 4.43457),
    checkpoint(775, 492, 4.44946),
    checkpoint(772, 493, 4.46484),
    checkpoint(770, 494, 4.48071),
    checkpoint(768, 495, 4.49560),
    checkpoint(766, 496, 4.50952),
    checkpoint(764, 497, 4.52270),
    checkpoint(762, 498, 4.53515),
    checkpoint(760, 499, 4.54687),
    checkpoint(757, 500, 4.55786),
    checkpoint(755, 501, 4.56811),
    checkpoint(753, 502, 4.57763),
    checkpoint(751, 503, 4.58666),
    checkpoint(748, 504, 4.59667),
    checkpoint(746, 504, 4.60742),
    checkpoint(744, 505, 4.61889),
    checkpoint(742, 506, 4.63110),
    checkpoint(739, 507, 4.64404),
    checkpoint(737, 507, 4.65771),
    checkpoint(735, 508, 4.67211),
    checkpoint(732, 509, 4.68725),
    checkpoint(730, 509, 4.70288),
    checkpoint(728, 510, 4.71899),
    checkpoint(726, 510, 4.73559),
    checkpoint(723, 511, 4.75268),
    checkpoint(721, 511, 4.77026),
    checkpoint(718, 512, 4.78833),
    checkpoint(716, 512, 4.80688),
    checkpoint(714, 512, 4.82592),
    checkpoint(711, 513, 4.84545),
    checkpoint(709, 513, 4.86523),
    checkpoint(707, 513, 4.88525),
    checkpoint(704, 513, 4.90551),
    checkpoint(702, 514, 4.92602),
    checkpoint(700, 514, 4.94677),
    checkpoint(697, 514, 4.96777),
    checkpoint(695, 514, 4.98901),
    checkpoint(692, 514, 5.01049),
    checkpoint(690, 514, 5.03222),
    checkpoint(688, 514, 5.05419),
    checkpoint(685, 514, 5.07641),
    checkpoint(683, 514, 5.09887),
    checkpoint(681, 514, 5.12158),
    checkpoint(678, 513, 5.14453),
    checkpoint(676, 513, 5.16772),
    checkpoint(674, 513, 5.19116),
    checkpoint(671, 512, 5.21484),
    checkpoint(669, 512, 5.23876),
    checkpoint(667, 512, 5.26293),
    checkpoint(664, 511, 5.28735),
    checkpoint(662, 511, 5.31030),
    checkpoint(660, 510, 5.33203),
    checkpoint(658, 509, 5.35253),
    checkpoint(655, 509, 5.37182),
    checkpoint(653, 508, 5.39013),
    checkpoint(651, 507, 5.40747),
    checkpoint(649, 506, 5.42382),
    checkpoint(647, 506, 5.43920),
    checkpoint(645, 505, 5.45361),
    checkpoint(642, 504, 5.46728),
    checkpoint(640, 503, 5.48022),
    checkpoint(638, 502, 5.49243),
    checkpoint(636, 501, 5.50390),
    checkpoint(634, 500, 5.51464),
    checkpoint(632, 499, 5.52465),
    checkpoint(630, 498, 5.53393),
    checkpoint(628, 496, 5.54272),
    checkpoint(626, 495, 5.54956),
    checkpoint(624, 494, 5.55444),
    checkpoint(622, 493, 5.55737),
    checkpoint(620, 491, 5.55859),
    checkpoint(618, 490, 5.55810),
    checkpoint(616, 489, 5.55639),
    checkpoint(614, 487, 5.55346),
    checkpoint(613, 486, 5.54931),
    checkpoint(611, 484, 5.54394),
    checkpoint(609, 483, 5.53759),
    checkpoint(607, 482, 5.53027),
    checkpoint(605, 480, 5.52197),
    checkpoint(603, 479, 5.51269),
    checkpoint(601, 477, 5.50390),
    checkpoint(600, 476, 5.49560),
    checkpoint(598, 474, 5.48779),
    checkpoint(596, 473, 5.48046),
    checkpoint(594, 471, 5.47363),
    checkpoint(592, 469, 5.46728),
    checkpoint(591, 468, 5.46142),
    checkpoint(589, 466, 5.45605),
    checkpoint(587, 465, 5.44970),
    checkpoint(585, 463, 5.44238),
    checkpoint(583, 462, 5.43408),
    checkpoint(581, 460, 5.42480),
    checkpoint(580, 458, 5.41455),
    checkpoint(578, 457, 5.40356),
    checkpoint(576, 455, 5.39184),
    checkpoint(574, 454, 5.37939),
    checkpoint(572, 452, 5.36621),
    checkpoint(570, 451, 5.35229),
    checkpoint(568, 449, 5.33764),
    checkpoint(567, 447, 5.32250),
    checkpoint(565, 446, 5.30688),
    checkpoint(563, 444, 5.29077),
    checkpoint(561, 443, 5.27416),
    checkpoint(559, 441, 5.25708),
    checkpoint(557, 440, 5.23950),
    checkpoint(555, 438, 5.22143),
    checkpoint(553, 437, 5.20288),
    checkpoint(551, 435, 5.18383),
    checkpoint(549, 434, 5.16430),
    checkpoint(547, 433, 5.14599),
    checkpoint(545, 431, 5.12866),
    checkpoint(543, 430, 5.11230),
    checkpoint(541, 428, 5.09692),
    checkpoint(539, 427, 5.08105),
    checkpoint(537, 426, 5.06469),
    checkpoint(535, 425, 5.04785),
    checkpoint(533, 423, 5.03051),
    checkpoint(531, 422, 5.01269),
    checkpoint(529, 421, 4.99438),
    checkpoint(527, 420, 4.97558),
    checkpoint(525, 419, 4.95629),
    checkpoint(522, 417, 4.93652),
    checkpoint(520, 416, 4.91650),
    checkpoint(518, 415, 4.89624),
    checkpoint(516, 414, 4.87573),
    checkpoint(514, 413, 4.85498),
    checkpoint(512, 412, 4.83398),
    checkpoint(509, 412, 4.81274),
    checkpoint(507, 411, 4.79125),
    checkpoint(505, 410, 4.76953),
    checkpoint(503, 409, 4.74902),
    checkpoint(500, 408, 4.72973),
    checkpoint(498, 408, 4.71142),
    checkpoint(496, 407, 4.69409),
    checkpoint(494, 406, 4.67773),
    checkpoint(491, 406, 4.66235),
    checkpoint(489, 405, 4.64648),
    checkpoint(487, 404, 4.63012),
    checkpoint(484, 404, 4.61328),
    checkpoint(482, 404, 4.59594),
    checkpoint(480, 403, 4.57812),
    checkpoint(477, 403, 4.55981),
    checkpoint(475, 402, 4.54101),
    checkpoint(473, 402, 4.52172),
    checkpoint(470, 402, 4.50195),
    checkpoint(468, 402, 4.48193),
    checkpoint(466, 401, 4.46166),
    checkpoint(463, 401, 4.44116),
    checkpoint(461, 401, 4.42041),
    checkpoint(459, 401, 4.39941),
    checkpoint(456, 401, 4.37817),
    checkpoint(454, 401, 4.35668),
    checkpoint(452, 401, 4.33496),
    checkpoint(449, 401, 4.31445),
    checkpoint(447, 402, 4.29516),
    checkpoint(445, 402, 4.27685),
    checkpoint(442, 402, 4.25952),
    checkpoint(440, 402, 4.24169),
    checkpoint(438, 403, 4.22338),
    checkpoint(435, 403, 4.20458),
    checkpoint(433, 404, 4.18530),
    checkpoint(431, 404, 4.16552),
    checkpoint(428, 405, 4.14550),
    checkpoint(426, 405, 4.12524),
    checkpoint(424, 406, 4.10473),
    checkpoint(422, 406, 4.08398),
    checkpoint(419, 407, 4.06298),
    checkpoint(417, 408, 4.04174),
    checkpoint(415, 408, 4.02026),
    checkpoint(413, 409, 3.99853),
    checkpoint(411, 410, 3.97656),
    checkpoint(409, 411, 3.95434),
    checkpoint(407, 412, 3.93188),
    checkpoint(404, 413, 3.90917),
    checkpoint(402, 414, 3.88623),
    checkpoint(400, 415, 3.86303),
    checkpoint(398, 416, 3.83959),
    checkpoint(396, 417, 3.81591),
    checkpoint(394, 418, 3.79199),
    checkpoint(392, 420, 3.76782),
    checkpoint(390, 421, 3.74340),
    checkpoint(389, 422, 3.71899),
    checkpoint(387, 424, 3.69458),
    checkpoint(385, 425, 3.67016),
    checkpoint(383, 426, 3.64575),
    checkpoint(381, 428, 3.62133),
    checkpoint(380, 429, 3.59692),
    checkpoint(378, 431, 3.57250),
    checkpoint(376, 432, 3.54809),
    checkpoint(375, 434, 3.52368),
    checkpoint(373, 436, 3.49926),
    checkpoint(371, 437, 3.47485),
    checkpoint(370, 439, 3.45043),
    checkpoint(369, 441, 3.42749),
    checkpoint(367, 442, 3.40576),
    checkpoint(366, 444, 3.38525),
    checkpoint(364, 446, 3.36596),
    checkpoint(363, 448, 3.34765),
    checkpoint(362, 450, 3.33032),
    checkpoint(361, 452, 3.31396),
    checkpoint(359, 454, 3.29858),
    checkpoint(358, 456, 3.28417),
    checkpoint(357, 458, 3.27050),
    checkpoint(356, 460, 3.25756),
    checkpoint(355, 462, 3.24536),
    checkpoint(354, 464, 3.23388),
    checkpoint(353, 466, 3.22314),
    checkpoint(352, 468, 3.21313),
    checkpoint(352, 470, 3.20385),
    checkpoint(351, 472, 3.19506),
    checkpoint(350, 474, 3.18676),
    checkpoint(349, 476, 3.17895),
    checkpoint(348, 479, 3.17163),
    checkpoint(348, 481, 3.16479),
    checkpoint(347, 483, 3.15844),
    checkpoint(347, 485, 3.15258),
    checkpoint(346, 487, 3.14575),
    checkpoint(345, 490, 3.13793),
    checkpoint(345, 492, 3.12915),
    checkpoint(344, 494, 3.11938),
    checkpoint(344, 496, 3.10888),
    checkpoint(343, 499, 3.09765),
    checkpoint(343, 501, 3.08569),
    checkpoint(343, 503, 3.07299),
    checkpoint(342, 506, 3.05957),
    checkpoint(342, 508, 3.04541),
    checkpoint(342, 510, 3.03051),
    checkpoint(341, 513, 3.01513),
    checkpoint(341, 515, 2.99926),
    checkpoint(341, 517, 2.98291),
    checkpoint(341, 520, 2.96606),
    checkpoint(341, 522, 2.94873),
    checkpoint(341, 524, 2.93090),
    checkpoint(341, 527, 2.91259),
    checkpoint(340, 529, 2.89379),
    checkpoint(340, 531, 2.87451),
    checkpoint(341, 534, 2.85473),
    checkpoint(341, 536, 2.83471),
    checkpoint(341, 538, 2.81445),
    checkpoint(341, 541, 2.79394),
    checkpoint(341, 543, 2.77319),
    checkpoint(341, 545, 2.75219),
    checkpoint(341, 548, 2.73095),
    checkpoint(342, 550, 2.70947),
    checkpoint(342, 552, 2.68774),
    checkpoint(342, 555, 2.66577),
    checkpoint(343, 557, 2.64355),
    checkpoint(343, 559, 2.62109),
    checkpoint(344, 562, 2.59838),
    checkpoint(344, 564, 2.57543),
    checkpoint(345, 566, 2.55224),
    checkpoint(346, 569, 2.52880),
    checkpoint(346, 571, 2.50512),
    checkpoint(347, 573, 2.48120),
    checkpoint(348, 575, 2.45703),
    checkpoint(348, 577, 2.43261),
    checkpoint(349, 580, 2.40820),
    checkpoint(350, 582, 2.38378),
    checkpoint(351, 584, 2.35937),
    checkpoint(352, 586, 2.33496),
    checkpoint(353, 588, 2.31054),
    checkpoint(354, 590, 2.28613),
    checkpoint(355, 592, 2.26171),
    checkpoint(356, 594, 2.23730),
    checkpoint(357, 596, 2.21289),
    checkpoint(359, 598, 2.18847),
    checkpoint(360, 600, 2.16406),
    checkpoint(361, 602, 2.13964),
    checkpoint(362, 604, 2.11523),
    checkpoint(364, 606, 2.09082),
    checkpoint(365, 607, 2.06640),
    checkpoint(367, 609, 2.04199),
    checkpoint(368, 611, 2.01757),
    checkpoint(370, 613, 1.99316),
    checkpoint(371, 614, 1.96875),
    checkpoint(373, 616, 1.94433),
    checkpoint(374, 617, 1.91992),
    checkpoint(376, 619, 1.89550),
    checkpoint(378, 620, 1.87109),
    checkpoint(380, 622, 1.84667),
    checkpoint(381, 623, 1.82373),
    checkpoint(383, 625, 1.80200),
    checkpoint(385, 626, 1.78149),
    checkpoint(387, 627, 1.76220),
    checkpoint(389, 629, 1.74389),
    checkpoint(391, 630, 1.72656),
    checkpoint(392, 631, 1.71020),
    checkpoint(394, 632, 1.69482),
    checkpoint(396, 633, 1.68041),
    checkpoint(398, 634, 1.66674),
    checkpoint(400, 635, 1.65380),
    checkpoint(402, 636, 1.64160),
    checkpoint(405, 637, 1.63012),
    checkpoint(407, 638, 1.61938),
    checkpoint(409, 639, 1.60937),
    checkpoint(411, 639, 1.60009),
    checkpoint(413, 640, 1.59130),
    checkpoint(415, 641, 1.58300),
    checkpoint(417, 642, 1.57519),
    checkpoint(420, 642, 1.56787),
    checkpoint(422, 643, 1.56103),
    checkpoint(424, 643, 1.55468),
    checkpoint(426, 644, 1.54882),
    checkpoint(428, 644, 1.54345),
    checkpoint(431, 645, 1.53857),
    checkpoint(433, 645, 1.53417),
    checkpoint(435, 646, 1.53002),
    checkpoint(438, 646, 1.52612),
    checkpoint(440, 647, 1.52246),
    checkpoint(442, 647, 1.51904),
    checkpoint(444, 647, 1.51586),
    checkpoint(447, 648, 1.51147),
    checkpoint(449, 648, 1.50585),
    checkpoint(451, 648, 1.49926),
    checkpoint(454, 648, 1.49169),
    checkpoint(456, 649, 1.48315),
    checkpoint(459, 649, 1.47363),
    checkpoint(461, 649, 1.46313),
    checkpoint(463, 649, 1.45336),
    checkpoint(466, 649, 1.44433),
    checkpoint(468, 649, 1.43579),
    checkpoint(470, 649, 1.42773),
    checkpoint(473, 649, 1.42016),
    checkpoint(475, 649, 1.41308),
    checkpoint(478, 649, 1.40649),
    checkpoint(480, 649, 1.40039),
    checkpoint(482, 649, 1.39477),
    checkpoint(485, 649, 1.38964),
    checkpoint(487, 649, 1.38500),
    checkpoint(490, 649, 1.38061),
    checkpoint(492, 649, 1.37646),
    checkpoint(494, 649, 1.37255),
    checkpoint(497, 649, 1.36889),
    checkpoint(499, 649, 1.36547),
    checkpoint(502, 648, 1.36230),
    checkpoint(504, 648, 1.35937),
    checkpoint(506, 648, 1.35668),
    checkpoint(509, 648, 1.35424),
    checkpoint(511, 647, 1.35205),
    checkpoint(514, 647, 1.35009),
    checkpoint(516, 647, 1.34838),
    checkpoint(518, 647, 1.34692),
    checkpoint(521, 646, 1.34570),
    checkpoint(523, 646, 1.34472),
    checkpoint(526, 646, 1.34399),
    checkpoint(528, 645, 1.34350),
    checkpoint(530, 645, 1.34326),
    checkpoint(533, 645, 1.34326),
    checkpoint(535, 644, 1.34326),
    checkpoint(538, 644, 1.34326),
    checkpoint(540, 644, 1.34326),
    checkpoint(543, 643, 1.34326),
    checkpoint(545, 643, 1.34326),
    checkpoint(547, 642, 1.34326),
    checkpoint(550, 642, 1.34326),
    checkpoint(552, 641, 1.34326),
    checkpoint(555, 641, 1.34326),
    checkpoint(557, 641, 1.34326),
    checkpoint(560, 640, 1.34326),
    checkpoint(562, 640, 1.34326),
    checkpoint(564, 639, 1.34326),
    checkpoint(567, 639, 1.34326),
    checkpoint(569, 638, 1.34326),
    checkpoint(572, 638, 1.34326),
    checkpoint(574, 637, 1.34326),
    checkpoint(576, 637, 1.34326),
    checkpoint(579, 636, 1.34326),
    checkpoint(581, 636, 1.34326),
    checkpoint(584, 635, 1.34326),
    checkpoint(586, 635, 1.34326),
    checkpoint(589, 634, 1.34326),
    checkpoint(591, 634, 1.34326),
    checkpoint(593, 633, 1.34472),
    checkpoint(596, 633, 1.34741),
    checkpoint(598, 632, 1.35131),
    checkpoint(601, 632, 1.35644),
    checkpoint(603, 631, 1.36254),
    checkpoint(606, 631, 1.36962),
    checkpoint(608, 630, 1.37768),
    checkpoint(610, 630, 1.38671),
    checkpoint(613, 629, 1.39672),
    checkpoint(615, 629, 1.40600),
    checkpoint(618, 628, 1.41479),
    checkpoint(620, 628, 1.42309),
    checkpoint(623, 627, 1.43090),
    checkpoint(625, 627, 1.43823),
    checkpoint(627, 627, 1.44506),
    checkpoint(630, 626, 1.45141),
    checkpoint(632, 626, 1.45727),
    checkpoint(635, 625, 1.46264),
    checkpoint(637, 625, 1.46752),
    checkpoint(640, 624, 1.47192),
    checkpoint(642, 624, 1.47607),
    checkpoint(644, 624, 1.47998),
    checkpoint(647, 623, 1.48364),
    checkpoint(649, 623, 1.48852),
    checkpoint(652, 622, 1.49438),
    checkpoint(654, 622, 1.50122),
    checkpoint(657, 622, 1.50903),
    checkpoint(659, 621, 1.51782),
    checkpoint(662, 621, 1.52758),
    checkpoint(664, 621, 1.53808),
    checkpoint(666, 620, 1.54931),
    checkpoint(669, 620, 1.56127),
    checkpoint(671, 620, 1.57397),
    checkpoint(674, 620, 1.58740),
    checkpoint(676, 619, 1.60156),
    checkpoint(679, 619, 1.61645),
    checkpoint(681, 619, 1.63183),
    checkpoint(684, 619, 1.64624),
    checkpoint(686, 619, 1.65991),
    checkpoint(689, 618, 1.67285),
    checkpoint(691, 618, 1.68505),
    checkpoint(693, 618, 1.69653),
    checkpoint(696, 618, 1.70727),
    checkpoint(698, 618, 1.71728),
    checkpoint(701, 618, 1.72656),
    checkpoint(703, 618, 1.73535),
    checkpoint(706, 618, 1.74511),
    checkpoint(708, 618, 1.75561),
    checkpoint(711, 618, 1.76684),
    checkpoint(713, 618, 1.77880),
    checkpoint(716, 618, 1.79150),
    checkpoint(718, 618, 1.80493),
    checkpoint(720, 619, 1.81909),
    checkpoint(723, 619, 1.83398),
    checkpoint(725, 619, 1.84936),
    checkpoint(728, 619, 1.86523),
    checkpoint(730, 619, 1.88159),
    checkpoint(733, 620, 1.89843),
    checkpoint(735, 620, 1.91577),
    checkpoint(737, 620, 1.93359),
    checkpoint(740, 621, 1.95190),
    checkpoint(742, 621, 1.97070),
    checkpoint(745, 622, 1.98999),
    checkpoint(747, 622, 2.00976),
    checkpoint(749, 623, 2.02832),
    checkpoint(752, 623, 2.04589),
    checkpoint(754, 624, 2.06250),
    checkpoint(756, 624, 2.07812),
    checkpoint(759, 625, 2.09277),
    checkpoint(761, 625, 2.10644),
    checkpoint(763, 626, 2.11938),
    checkpoint(766, 627, 2.13159),
    checkpoint(768, 628, 2.14306),
    checkpoint(770, 628, 2.15380),
    checkpoint(772, 629, 2.16381),
    checkpoint(775, 630, 2.17309),
    checkpoint(777, 631, 2.18334),
    checkpoint(779, 632, 2.19433),
    checkpoint(781, 633, 2.20605),
    checkpoint(784, 634, 2.21850),
    checkpoint(786, 635, 2.23168),
    checkpoint(788, 636, 2.24560),
    checkpoint(790, 637, 2.26025),
    checkpoint(792, 638, 2.27539),
    checkpoint(794, 639, 2.29101),
    checkpoint(797, 640, 2.30712),
    checkpoint(799, 641, 2.32373),
    checkpoint(801, 642, 2.34082),
    checkpoint(803, 643, 2.35839),
    checkpoint(805, 645, 2.37646),
    checkpoint(807, 646, 2.39501),
    checkpoint(809, 647, 2.41406),
    checkpoint(811, 648, 2.43359),
    checkpoint(813, 650, 2.45336),
    checkpoint(815, 651, 2.47338),
    checkpoint(817, 653, 2.49365),
    checkpoint(819, 654, 2.51416),
    checkpoint(821, 655, 2.53491),
    checkpoint(822, 657, 2.55590),
    checkpoint(824, 658, 2.57714),
    checkpoint(826, 660, 2.59863),
    checkpoint(828, 662, 2.62036),
    checkpoint(829, 663, 2.64233),
    checkpoint(831, 665, 2.66455),
    checkpoint(833, 667, 2.68701),
    checkpoint(834, 668, 2.70971),
    checkpoint(836, 670, 2.73266),
    checkpoint(838, 672, 2.75585),
    checkpoint(839, 673, 2.77929),
    checkpoint(841, 675, 2.80297),
    checkpoint(842, 677, 2.82690),
    checkpoint(844, 679, 2.84960),
    checkpoint(845, 681, 2.87109),
    checkpoint(846, 683, 2.89135),
    checkpoint(848, 685, 2.91040),
    checkpoint(849, 687, 2.92846),
    checkpoint(850, 689, 2.94555),
    checkpoint(851, 691, 2.96166),
    checkpoint(852, 693, 2.97680),
    checkpoint(854, 695, 2.99096),
    checkpoint(855, 697, 3.00439),
    checkpoint(856, 699, 3.01855),
    checkpoint(857, 701, 3.03344),
    checkpoint(858, 703, 3.04882),
    checkpoint(859, 705, 3.06469),
    checkpoint(859, 707, 3.08105),
    checkpoint(860, 709, 3.09790),
    checkpoint(861, 712, 3.11523),
    checkpoint(862, 714, 3.13305),
    checkpoint(863, 716, 3.15136),
    checkpoint(863, 718, 3.17016),
    checkpoint(864, 720, 3.18945),
    checkpoint(864, 723, 3.20922),
    checkpoint(865, 725, 3.22924),
    checkpoint(866, 727, 3.24951),
    checkpoint(866, 729, 3.27001),
    checkpoint(866, 732, 3.29077),
    checkpoint(867, 734, 3.31176),
    checkpoint(867, 736, 3.33300),
    checkpoint(868, 739, 3.35449),
    checkpoint(868, 741, 3.37622),
    checkpoint(868, 743, 3.39819),
    checkpoint(868, 746, 3.42041),
    checkpoint(868, 748, 3.44287),
    checkpoint(868, 750, 3.46557),
    checkpoint(868, 752, 3.48852),
    checkpoint(868, 755, 3.51171),
    checkpoint(868, 757, 3.53515),
    checkpoint(868, 759, 3.55883),
    checkpoint(868, 762, 3.58276),
    checkpoint(868, 764, 3.60693),
    checkpoint(868, 766, 3.63134),
    checkpoint(867, 768, 3.65576),
    checkpoint(867, 771, 3.68017),
    checkpoint(867, 773, 3.70458),
    checkpoint(866, 775, 3.72900),
    checkpoint(866, 777, 3.75341),
    checkpoint(865, 780, 3.77783),
    checkpoint(865, 782, 3.80224),
    checkpoint(864, 784, 3.82666),
    checkpoint(863, 786, 3.85107),
    checkpoint(863, 788, 3.87548),
    checkpoint(862, 791, 3.89990),
    checkpoint(861, 793, 3.92285),
    checkpoint(860, 795, 3.94458),
    checkpoint(859, 797, 3.96508),
    checkpoint(858, 799, 3.98437),
    checkpoint(857, 801, 4.00268),
    checkpoint(856, 803, 4.02001),
    checkpoint(855, 805, 4.03637),
    checkpoint(854, 807, 4.05175),
    checkpoint(853, 809, 4.06616),
    checkpoint(852, 811, 4.07983),
    checkpoint(850, 813, 4.09277),
    checkpoint(849, 814, 4.10644),
    checkpoint(848, 816, 4.12084),
    checkpoint(846, 818, 4.13598),
    checkpoint(845, 820, 4.15161),
    checkpoint(843, 822, 4.16772),
    checkpoint(842, 823, 4.18432),
    checkpoint(840, 825, 4.20141),
    checkpoint(839, 827, 4.21899),
    checkpoint(837, 828, 4.23706),
    checkpoint(836, 830, 4.25561),
    checkpoint(834, 832, 4.27465),
    checkpoint(832, 833, 4.29418),
    checkpoint(831, 835, 4.31396),
    checkpoint(829, 836, 4.33398),
    checkpoint(827, 838, 4.35424),
    checkpoint(825, 839, 4.37475),
    checkpoint(824, 841, 4.39550),
    checkpoint(822, 842, 4.41650),
    checkpoint(820, 843, 4.43774),
    checkpoint(818, 845, 4.45922),
    checkpoint(816, 846, 4.48095),
    checkpoint(814, 847, 4.50146),
    checkpoint(812, 848, 4.52075),
    checkpoint(810, 849, 4.53906),
    checkpoint(808, 850, 4.55639),
    checkpoint(806, 852, 4.57421),
    checkpoint(804, 853, 4.59252),
    checkpoint(802, 854, 4.61132),
    checkpoint(800, 855, 4.63061),
    checkpoint(798, 855, 4.65039),
    checkpoint(796, 856, 4.67041),
    checkpoint(794, 857, 4.69067),
    checkpoint(791, 858, 4.71118),
    checkpoint(789, 859, 4.73193),
    checkpoint(787, 859, 4.75292),
    checkpoint(785, 860, 4.77270),
    checkpoint(783, 861, 4.79125),
    checkpoint(781, 861, 4.80883),
    checkpoint(778, 862, 4.82543),
    checkpoint(776, 862, 4.84106),
    checkpoint(774, 863, 4.85571),
    checkpoint(772, 863, 4.86938),
    checkpoint(769, 863, 4.88232),
    checkpoint(767, 864, 4.89453),
    checkpoint(765, 864, 4.90600),
    checkpoint(762, 864, 4.91674),
    checkpoint(760, 865, 4.92675),
    checkpoint(758, 865, 4.93603),
    checkpoint(755, 865, 4.94482),
    checkpoint(753, 865, 4.95312),
    checkpoint(751, 865, 4.96093),
    checkpoint(749, 865, 4.96826),
    checkpoint(746, 865, 4.97509),
    checkpoint(744, 865, 4.98144),
    checkpoint(742, 865, 4.98730),
    checkpoint(739, 865, 4.99267),
    checkpoint(737, 865, 4.99755),
    checkpoint(735, 865, 5.00195),
    checkpoint(732, 864, 5.00610),
    checkpoint(730, 864, 5.01000),
    checkpoint(728, 864, 5.01367),
    checkpoint(725, 864, 5.01708),
    checkpoint(723, 863, 5.02026),
    checkpoint(720, 863, 5.02465),
    checkpoint(718, 863, 5.03027),
    checkpoint(716, 862, 5.03686),
    checkpoint(713, 862, 5.04443),
    checkpoint(711, 862, 5.05297),
    checkpoint(709, 861, 5.06250),
    checkpoint(706, 861, 5.07299),
    checkpoint(704, 860, 5.08422),
    checkpoint(702, 860, 5.09472),
    checkpoint(699, 859, 5.10449),
    checkpoint(697, 859, 5.11352),
    checkpoint(695, 858, 5.12207),
    checkpoint(692, 857, 5.13012),
    checkpoint(690, 857, 5.13769),
    checkpoint(688, 856, 5.14477),
    checkpoint(685, 856, 5.15136),
    checkpoint(683, 855, 5.15747),
    checkpoint(681, 854, 5.16308),
    checkpoint(679, 854, 5.16821),
    checkpoint(676, 853, 5.17285),
    checkpoint(674, 852, 5.17724),
    checkpoint(672, 851, 5.18139),
    checkpoint(669, 850, 5.18530),
    checkpoint(667, 850, 5.18896),
    checkpoint(665, 849, 5.19238),
    checkpoint(662, 848, 5.19555),
    checkpoint(660, 847, 5.19848),
    checkpoint(658, 846, 5.19970),
    checkpoint(656, 845, 5.19921),
    checkpoint(653, 845, 5.19750),
    checkpoint(651, 844, 5.19458),
    checkpoint(649, 843, 5.19042),
    checkpoint(647, 842, 5.18505),
    checkpoint(644, 841, 5.17871),
    checkpoint(642, 840, 5.17138),
    checkpoint(640, 839, 5.16308),
    checkpoint(638, 838, 5.15527),
    checkpoint(635, 837, 5.14794),
    checkpoint(633, 836, 5.14111),
    checkpoint(631, 835, 5.13476),
    checkpoint(629, 834, 5.12890),
    checkpoint(626, 833, 5.12353),
    checkpoint(624, 832, 5.11865),
    checkpoint(622, 831, 5.11279),
    checkpoint(620, 830, 5.10595),
    checkpoint(617, 829, 5.09814),
    checkpoint(615, 828, 5.08935),
    checkpoint(613, 827, 5.07958),
    checkpoint(611, 826, 5.06909),
    checkpoint(608, 825, 5.05786),
    checkpoint(606, 824, 5.04589),
    checkpoint(604, 824, 5.03320),
    checkpoint(602, 823, 5.01977),
    checkpoint(599, 822, 5.00561),
    checkpoint(597, 821, 4.99072),
    checkpoint(595, 820, 4.97534),
    checkpoint(592, 819, 4.95947),
    checkpoint(590, 818, 4.94311),
    checkpoint(588, 817, 4.92626),
    checkpoint(585, 817, 4.90893),
    checkpoint(583, 816, 4.89111),
    checkpoint(581, 815, 4.87280),
    checkpoint(578, 814, 4.85400),
    checkpoint(576, 813, 4.83471),
    checkpoint(574, 813, 4.81494),
    checkpoint(571, 812, 4.79492),
    checkpoint(569, 811, 4.77465),
    checkpoint(567, 811, 4.75415),
    checkpoint(564, 810, 4.73339),
    checkpoint(562, 810, 4.71240),
    checkpoint(560, 809, 4.69116),
    checkpoint(557, 809, 4.66967),
    checkpoint(555, 808, 4.64794),
    checkpoint(553, 808, 4.62597),
    checkpoint(550, 807, 4.60375),
    checkpoint(548, 807, 4.58129),
    checkpoint(545, 807, 4.55859),
    checkpoint(543, 806, 4.53710),
    checkpoint(541, 806, 4.51684),
    checkpoint(538, 806, 4.49780),
    checkpoint(536, 806, 4.47973),
    checkpoint(533, 805, 4.46264),
    checkpoint(531, 805, 4.44653),
    checkpoint(529, 805, 4.43139),
    checkpoint(526, 805, 4.41723),
    checkpoint(524, 805, 4.40380),
    checkpoint(522, 805, 4.39111),
    checkpoint(519, 805, 4.37915),
    checkpoint(517, 806, 4.36791),
    checkpoint(514, 806, 4.35742),
    checkpoint(512, 806, 4.34765),
    checkpoint(510, 806, 4.33862),
    checkpoint(507, 806, 4.33007),
    checkpoint(505, 807, 4.32202),
    checkpoint(503, 807, 4.31445),
    checkpoint(500, 807, 4.30737),
    checkpoint(498, 808, 4.30078),
    checkpoint(496, 808, 4.29467),
    checkpoint(493, 809, 4.28906),
    checkpoint(491, 809, 4.28393),
    checkpoint(489, 810, 4.27929),
    checkpoint(486, 810, 4.27490),
    checkpoint(484, 811, 4.27075),
    checkpoint(482, 811, 4.26684),
    checkpoint(479, 812, 4.26318),
    checkpoint(477, 813, 4.25976),
    checkpoint(475, 813, 4.25659),
    checkpoint(472, 814, 4.25366),
    checkpoint(470, 815, 4.25097),
    checkpoint(468, 815, 4.24853),
    checkpoint(465, 816, 4.24633),
    checkpoint(463, 817, 4.24438),
    checkpoint(461, 818, 4.24267),
    checkpoint(459, 819, 4.24121),
    checkpoint(456, 819, 4.23999),
    checkpoint(454, 820, 4.23901),
    checkpoint(452, 821, 4.23828),
    checkpoint(449, 822, 4.23779),
    checkpoint(447, 823, 4.23754),
    checkpoint(445, 824, 4.23754),
    checkpoint(443, 825, 4.23754),
    checkpoint(440, 826, 4.23901),
    checkpoint(438, 826, 4.24169),
    checkpoint(436, 827, 4.24560),
    checkpoint(434, 828, 4.25073),
    checkpoint(431, 829, 4.25683),
    checkpoint(429, 830, 4.26391),
    checkpoint(427, 831, 4.27197),
    checkpoint(425, 832, 4.28100),
    checkpoint(422, 833, 4.29101),
    checkpoint(420, 834, 4.30175),
    checkpoint(418, 835, 4.31323),
    checkpoint(416, 836, 4.32543),
    checkpoint(413, 837, 4.33837),
    checkpoint(411, 838, 4.35205),
    checkpoint(409, 839, 4.36645),
    checkpoint(407, 840, 4.38159),
    checkpoint(404, 841, 4.39721),
    checkpoint(402, 842, 4.41333),
    checkpoint(400, 843, 4.42993),
    checkpoint(398, 843, 4.44702),
    checkpoint(395, 844, 4.46313),
    checkpoint(393, 845, 4.47827),
    checkpoint(391, 846, 4.49243),
    checkpoint(388, 847, 4.50585),
    checkpoint(386, 848, 4.51855),
    checkpoint(384, 849, 4.53051),
    checkpoint(381, 849, 4.54174),
    checkpoint(379, 850, 4.55371),
    checkpoint(377, 851, 4.56640),
    checkpoint(374, 851, 4.57983),
    checkpoint(372, 852, 4.59399),
    checkpoint(370, 853, 4.60888),
    checkpoint(367, 854, 4.62426),
    checkpoint(365, 854, 4.64013),
    checkpoint(363, 855, 4.65649),
    checkpoint(360, 855, 4.67333),
    checkpoint(358, 856, 4.69067),
    checkpoint(356, 856, 4.70849),
    checkpoint(353, 857, 4.72680),
    checkpoint(351, 857, 4.74560),
    checkpoint(348, 858, 4.76489),
    checkpoint(346, 858, 4.78466),
    checkpoint(344, 859, 4.80468),
    checkpoint(341, 859, 4.82495),
    checkpoint(339, 859, 4.84545),
    checkpoint(336, 859, 4.86621),
    checkpoint(334, 860, 4.88720),
    checkpoint(332, 860, 4.90844),
    checkpoint(329, 860, 4.92993),
    checkpoint(327, 860, 4.95166),
    checkpoint(324, 860, 4.97363),
    checkpoint(322, 860, 4.99584),
    checkpoint(320, 860, 5.01684),
    checkpoint(317, 860, 5.03662),
    checkpoint(315, 860, 5.05517),
    checkpoint(312, 860, 5.07275),
    checkpoint(310, 860, 5.08935),
    checkpoint(308, 860, 5.10498),
    checkpoint(305, 860, 5.11962),
    checkpoint(303, 859, 5.13330),
    checkpoint(301, 859, 5.14770),
    checkpoint(298, 859, 5.16284),
    checkpoint(296, 858, 5.17846),
    checkpoint(294, 858, 5.19458),
    checkpoint(291, 857, 5.21118),
    checkpoint(289, 857, 5.22827),
    checkpoint(287, 856, 5.24584),
    checkpoint(284, 856, 5.26391),
    checkpoint(282, 855, 5.28247),
    checkpoint(280, 855, 5.30151),
    checkpoint(278, 854, 5.32104),
    checkpoint(275, 853, 5.34082),
    checkpoint(273, 852, 5.36083),
    checkpoint(271, 852, 5.37963),
    checkpoint(269, 851, 5.39746),
    checkpoint(267, 850, 5.41430),
    checkpoint(264, 849, 5.43017),
    checkpoint(262, 848, 5.44506),
    checkpoint(260, 847, 5.45898),
    checkpoint(258, 846, 5.47216),
    checkpoint(256, 845, 5.48461),
    checkpoint(254, 844, 5.49780),
    checkpoint(252, 843, 5.51171),
    checkpoint(250, 842, 5.52636),
    checkpoint(248, 840, 5.54150),
    checkpoint(246, 839, 5.55712),
    checkpoint(244, 838, 5.57324),
    checkpoint(242, 837, 5.58984),
    checkpoint(240, 835, 5.60693),
    checkpoint(238, 834, 5.62451),
    checkpoint(236, 833, 5.64257),
    checkpoint(234, 831, 5.66113),
    checkpoint(232, 830, 5.68017),
    checkpoint(230, 828, 5.69970),
    checkpoint(229, 827, 5.71801),
    checkpoint(227, 825, 5.73535),
    checkpoint(225, 824, 5.75170),
    checkpoint(223, 822, 5.76708),
    checkpoint(222, 821, 5.78149),
    checkpoint(220, 819, 5.79516),
    checkpoint(218, 817, 5.80810),
    checkpoint(217, 815, 5.82031),
    checkpoint(215, 814, 5.83178),
    checkpoint(214, 812, 5.84252),
    checkpoint(212, 810, 5.85253),
    checkpoint(211, 808, 5.86181),
    checkpoint(209, 807, 5.87060),
    checkpoint(208, 805, 5.87890),
    checkpoint(206, 803, 5.88671),
    checkpoint(205, 801, 5.89404),
    checkpoint(203, 799, 5.90087),
    checkpoint(202, 797, 5.90722),
    checkpoint(201, 795, 5.91308),
    checkpoint(199, 793, 5.91845),
    checkpoint(198, 791, 5.92333),
    checkpoint(197, 789, 5.92773),
    checkpoint(196, 787, 5.93188),
    checkpoint(194, 785, 5.93579),
    checkpoint(193, 783, 5.93945),
    checkpoint(192, 781, 5.94287),
    checkpoint(191, 779, 5.94604),
    checkpoint(190, 777, 5.95043),
    checkpoint(189, 775, 5.95605),
    checkpoint(187, 773, 5.96264),
    checkpoint(186, 771, 5.97021),
    checkpoint(185, 768, 5.97875),
    checkpoint(184, 766, 5.98828),
    checkpoint(183, 764, 5.99877),
    checkpoint(182, 762, 6.01000),
    checkpoint(181, 760, 6.02197),
    checkpoint(180, 758, 6.03466),
    checkpoint(179, 755, 6.04809),
    checkpoint(178, 753, 6.06225),
    checkpoint(177, 751, 6.07714),
    checkpoint(176, 749, 6.09252),
    checkpoint(176, 746, 6.10839),
    checkpoint(175, 744, 6.12475),
    checkpoint(174, 742, 6.14160),
    checkpoint(173, 740, 6.15747),
    checkpoint(172, 737, 6.17236),
    checkpoint(172, 735, 6.18627),
    checkpoint(171, 733, 6.19946),
    checkpoint(170, 730, 6.21191),
    checkpoint(169, 728, 6.22363),
    checkpoint(169, 726, 6.23461),
    checkpoint(168, 724, 6.24487),
    checkpoint(168, 721, 6.25439),
    checkpoint(167, 719, 6.26342),
    checkpoint(167, 717, 6.27197),
    checkpoint(166, 714, 6.28002),
    checkpoint(166, 712, 0.00463),
    checkpoint(165, 709, 0.01171),
    checkpoint(165, 707, 0.01831),
    checkpoint(164, 705, 0.02441),
    checkpoint(164, 702, 0.03002),
    checkpoint(164, 700, 0.03515),
    checkpoint(163, 698, 0.03833),
    checkpoint(163, 695, 0.03979),
    checkpoint(163, 693, 0.03955),
    checkpoint(162, 690, 0.03808),
    checkpoint(162, 688, 0.03540),
    checkpoint(162, 685, 0.03149),
    checkpoint(162, 683, 0.02636),
    checkpoint(161, 681, 0.02172),
    checkpoint(161, 678, 0.01733),
    checkpoint(161, 676, 0.01318),
    checkpoint(161, 673, 0.00927),
    checkpoint(161, 671, 0.00561),
    checkpoint(161, 669, 0.00219),
    checkpoint(160, 666, 6.28198),
    checkpoint(160, 664, 6.27905),
    checkpoint(160, 661, 6.27636),
    checkpoint(160, 659, 6.27392),
    checkpoint(160, 656, 6.27172),
    checkpoint(160, 654, 6.26977),
    checkpoint(160, 651, 6.26806),
    checkpoint(160, 649, 6.26660),
    checkpoint(159, 647, 6.26538),
    checkpoint(159, 644, 6.26440),
    checkpoint(159, 642, 6.26367),
    checkpoint(159, 639, 6.26318),
    checkpoint(159, 637, 6.26293),
    checkpoint(159, 634, 6.26293),
    checkpoint(159, 632, 6.26293),
    checkpoint(159, 629, 6.26293),
    checkpoint(159, 627, 6.26293),
    checkpoint(159, 624, 6.26293),
    checkpoint(159, 622, 6.26293),
    checkpoint(159, 619, 6.26293),
    checkpoint(158, 617, 6.26293),
    checkpoint(158, 614, 6.26293),
    checkpoint(158, 612, 6.26293),
    checkpoint(158, 610, 6.26293),
    checkpoint(158, 607, 6.26293),
    checkpoint(158, 605, 6.26293),
    checkpoint(158, 602, 6.26293),
    checkpoint(158, 600, 6.26293),
    checkpoint(158, 597, 6.26293),
    checkpoint(158, 595, 6.26293),
    checkpoint(158, 592, 6.26293),
    checkpoint(158, 590, 6.26293),
    checkpoint(158, 587, 6.26293),
    checkpoint(158, 585, 6.26293),
    checkpoint(157, 582, 6.26293),
    checkpoint(157, 580, 6.26293),
    checkpoint(157, 577, 6.26293),
    checkpoint(157, 575, 6.26293),
    checkpoint(157, 572, 6.26293),
    checkpoint(157, 570, 6.26293),
    checkpoint(157, 567, 6.26293),
    checkpoint(157, 565, 6.26293),
    checkpoint(157, 562, 6.26293),
    checkpoint(157, 560, 6.26293),
    checkpoint(157, 557, 6.26293),
    checkpoint(157, 555, 6.26293),
    checkpoint(157, 553, 6.26293),
    checkpoint(157, 550, 6.26293),
    checkpoint(157, 548, 6.26293),
    checkpoint(157, 545, 6.26293),
    checkpoint(157, 543, 6.26293),
    checkpoint(157, 540, 6.26293),
    checkpoint(156, 538, 6.26293),
    checkpoint(156, 535, 6.27),
    checkpoint(156, 533, 6.27),
    checkpoint(156, 530, 6.27),
    checkpoint(156, 528, 6.27),
    checkpoint(156, 525, 6.27),
    checkpoint(156, 523, 6.27),
    checkpoint(156, 520, 6.27),
    checkpoint(156, 518, 6.27),
    checkpoint(156, 515, 6.27),
    checkpoint(156, 513, 6.27),
    checkpoint(156, 510, 6.27),
    checkpoint(156, 508, 6.27),
    checkpoint(156, 505, 6.27),
    checkpoint(156, 503, 6.27),
    checkpoint(156, 500, 6.27),
    checkpoint(156, 498, 6.27),
    checkpoint(156, 495, 6.27),
    checkpoint(156, 493, 6.28),
    checkpoint(156, 490, 6.28),
    checkpoint(156, 488, 6.28),
    checkpoint(156, 485, 6.28),
    checkpoint(156, 483, 6.28),
    checkpoint(156, 480, 6.28),
    checkpoint(156, 478, 6.28),
    checkpoint(156, 475, 6.28),
    checkpoint(156, 473, 6.28),
    checkpoint(156, 470, 6.28),
    checkpoint(156, 468, 6.28),
    checkpoint(156, 465, 6.28),
    checkpoint(156, 463, 6.28),
    checkpoint(156, 460, 6.28),
    checkpoint(156, 458, 6.28),
    checkpoint(156, 455, 6.28),
    checkpoint(156, 453, 6.28),
    checkpoint(156, 451, 6.28),
    checkpoint(156, 448, 6.28),
    checkpoint(156, 446, 6.28),
    checkpoint(156, 443, 6.28),
    checkpoint(156, 441, 6.28),
    checkpoint(156, 438, 6.28),
};

}

#endif
